home *** CD-ROM | disk | FTP | other *** search
/ Linux Cubed Series 3: Developer Tools / Linux Cubed Series 3 - Developer Tools.iso / devel / lang / eiffel / smalleif.97 / se.t / SmallEiffel / bin_c / finder.h < prev    next >
Encoding:
C/C++ Source or Header  |  1996-05-02  |  6.8 KB  |  241 lines
  1. /* ANSI C code generated by SmallEiffel. */
  2. /*
  3. -- SmallEiffel  -- Release (- 0.97)    --      FRANCE
  4. -- Copyright (C), 1994 - Dominique COLNET and Suzanne COLLIN 
  5. -- University Henri Poincare' - Nancy 1 - email colnet@loria.fr 
  6. -- CRIN (Centre de Recherche en Informatique de Nancy)
  7. -- FRANCE 
  8. */
  9. #include <stdio.h>
  10. #include <stdlib.h>
  11. #include <signal.h>
  12. #include <stddef.h>
  13. typedef struct sT0 T0;
  14. struct sT0{int id;};
  15. typedef struct sTstring Tstring;
  16. struct sTstring{int id;int _capacity;int _count;char *_storage;};
  17. typedef struct sTarray Tarray;
  18. struct sTarray{int id;int _capacity;int _lower;
  19. int _upper;T0 **_storage;};
  20. T0 *new(int id);
  21. #define Tgeneral T1
  22. #define generalId 1
  23. #define integerId 2
  24. #define characterId 3
  25. #define booleanId 6
  26. #define realId 4
  27. #define doubleId 5
  28. #define stringId 7
  29. #define pointerId 8
  30. #define expandedId 10
  31. #define referenceId 11
  32. #define linkId 12
  33. #define featureTagId 13
  34. #define nameId 14
  35. #define columnId 15
  36. #define lineId 16
  37. #define pathId 17
  38. #define doingWhatId 18
  39. #define doingInvariantId 19
  40. #define AF_REQ_1 
  41. #define AF_REQ_0 
  42. #define AF_ENS_1 
  43. #define AF_ENS_0 
  44. #define AF_INV_1 
  45. #define AF_INV_0 
  46. #define AF_LIV_1 
  47. #define AF_LIV_0 
  48. #define AF_CIV_1 
  49. #define AF_CIV_0 
  50. #define AF_1 AF_CIV_1 AF_LIV_1 AF_INV_1 AF_ENS_1 AF_REQ_1
  51. #define AF_0 AF_CIV_0 AF_LIV_0 AF_INV_0 AF_ENS_0 AF_REQ_0
  52. typedef struct sT26 T26;
  53. typedef void * T8;
  54. typedef struct sT45 T45;
  55. typedef struct sT32 T32;
  56. typedef struct sT39 T39;
  57. typedef struct sTstring T7;
  58. typedef int T6;
  59. typedef int T2;
  60. typedef struct sT40 T40;
  61. typedef struct sT38 T38;
  62. typedef struct sT46 T46;
  63. typedef struct sTarray T43;
  64. typedef char T3;
  65. struct sT26{int id;};
  66. struct sT45{int id;int _modulus;int _free;T0* _chain;int _has_mem;int _count;T0* _buckets;T0* _store;int _item_mem;T0* _keys;};
  67. struct sT32{int id;void * _output_stream;};
  68. struct sT39{int id;T0* _mode;T0* _path;void * _input_stream;char _last_character_memory;};
  69. struct sT40{int id;};
  70. struct sT38{int id;void * _output_stream;};
  71. struct sT46{int id;int _capacity;int _lower;int _upper;T2 *_storage;};
  72. T0* rT26get_environment_variable(T26 *C,T0* a1);
  73. extern int ofBC27directory_separator;
  74. extern T3 oRBC27directory_separator;
  75. char rT26directory_separator(T26 *C);
  76. void rT26die_with_code(T26 *C,int a1);
  77. extern T0*oRBC27hlp_file_name;
  78. void rT26add_directory(T26 *C,T0* a1,T0* a2);
  79. void rT26print_hlp(T26 *C,T0* a1);
  80. extern T0*oRBC1std_error;
  81. T0* rT26clone(T26 *C,T0* a1);
  82. extern T0*oRBC27small_eiffel;
  83. extern T0*oRBC1std_output;
  84. extern int ofBC27small_eiffel_directory;
  85. extern T0*oRBC27small_eiffel_directory;
  86. T0* rT26small_eiffel_directory(T26 *C);
  87. void rT26copy(T26 *C,T0 * a1);
  88. void rT26make(T26 *C);
  89. int rT26file_exists(T26 *C,T0* a1);
  90. void rT45resize(T45 *C,int a1);
  91. T0* rT45clone(T45 *C,T0* a1);
  92. T0* rT45at(T45 *C,T0* a1);
  93. void rT45put(T45 *C,T0* a1,T0* a2);
  94. void rT45standard_copy(T45 *C,T0 * a1);
  95. void rT45copy(T45 *C,T0 * a1);
  96. void rT45expand(T45 *C);
  97. int rT45has(T45 *C,T0* a1);
  98. void rT45make(T45 *C);
  99. void rT32die_with_code(T32 *C,int a1);
  100. void rT32put_string(T32 *C,T0* a1);
  101. void rT32crash(T32 *C);
  102. void rT32copy(T32 *C,T0 * a1);
  103. void rT32put_character(T32 *C,char a1);
  104. void rT32make(T32 *C);
  105. int rT39end_of_input(T39 *C);
  106. int rT39is_connected(T39 *C);
  107. void rT39disconnect(T39 *C);
  108. extern T0*oRBC39last_string;
  109. char rT39last_character(T39 *C);
  110. void rT39connect_to(T39 *C,T0* a1);
  111. void rT39skip_separators(T39 *C);
  112. void * rT39fopen(T39 *C,T0* a1,T0* a2);
  113. void rT39copy(T39 *C,T0 * a1);
  114. void rT39read_word(T39 *C);
  115. void rT39read_line_in(T39 *C,T0* a1);
  116. void rT39read_line(T39 *C);
  117. void rT39read_character(T39 *C);
  118. char rT7_ix64(T7 *C,int a1);
  119. int rT7hash_code(T7 *C);
  120. void rT7extend(T7 *C,char a1);
  121. void rT7to_upper(T7 *C);
  122. void rT7remove_last(T7 *C,int a1);
  123. int rT7has_suffix(T7 *C,T0* a1);
  124. int rT7empty(T7 *C);
  125. char rT7item(T7 *C,int a1);
  126. int rT7is_equal(T7 *C,T0* a1);
  127. void rT7append(T7 *C,T0* a1);
  128. char rT7last(T7 *C);
  129. void rT7put(T7 *C,char a1,int a2);
  130. void rT7copy(T7 *C,T0* a1);
  131. void rT7prepend(T7 *C,T0* a1);
  132. void rT7to_lower(T7 *C);
  133. void rT7make(T7 *C,int a1);
  134. int rT2min(T2 C,int a1);
  135. int rT2max(T2 C,int a1);
  136. T0* rT40find_path_for(T40 *C,T0* a1);
  137. T0* rT40get_environment_variable(T40 *C,T0* a1);
  138. char rT40directory_separator(T40 *C);
  139. void rT40die_with_code(T40 *C,int a1);
  140. extern int ofBC40loading_path;
  141. extern T0*oRBC40loading_path;
  142. T0* rT40loading_path(T40 *C);
  143. void rT40open_read(T40 *C,T0 * a1,T0* a2);
  144. T0* rT40clone(T40 *C,T0* a1);
  145. extern int ofBC40rename_dictionary;
  146. extern T0*oRBC40rename_dictionary;
  147. T0 * rT40rename_dictionary(T40 *C);
  148. void rT40append_loading_path_in(T40 *C,T0* a1);
  149. extern int ofBC27tmp_file_read;
  150. extern T0*oRBC27tmp_file_read;
  151. T0 * rT40tmp_file_read(/*C*/void);
  152. T0* rT40small_eiffel_directory(T40 *C);
  153. void rT40copy(T40 *C,T0 * a1);
  154. int rT40file_exists(T40 *C,T0* a1);
  155. void rT38die_with_code(T38 *C,int a1);
  156. void rT38put_string(T38 *C,T0* a1);
  157. void rT38crash(T38 *C);
  158. void rT38append_file(T38 *C,T0* a1);
  159. extern int ofBC33tmp_file_read;
  160. extern T0*oRBC33tmp_file_read;
  161. T0 * rT38tmp_file_read(/*C*/void);
  162. void rT38copy(T38 *C,T0 * a1);
  163. void rT38put_character(T38 *C,char a1);
  164. void rT38make(T38 *C);
  165. void rT46clear_all(T46 *C);
  166. int rT46count(T46 *C);
  167. void rT46set_all_with(T46 *C,int a1);
  168. void rT46resize(T46 *C,int a1,int a2);
  169. int rT46item(T46 *C,int a1);
  170. void rT46put(T46 *C,int a1,int a2);
  171. void rT46copy(T46 *C,T0* a1);
  172. void rT46make(T46 *C,int a1,int a2);
  173. void rT43clear(T43 *C);
  174. void rT43clear_all(T43 *C);
  175. int rT43count(T43 *C);
  176. void rT43set_all_with(T43 *C,T0* a1);
  177. void rT43resize(T43 *C,int a1,int a2);
  178. T0* rT43item(T43 *C,int a1);
  179. void rT43add_last(T43 *C,T0* a1);
  180. void rT43put(T43 *C,T0* a1,int a2);
  181. void rT43copy(T43 *C,T0* a1);
  182. void rT43make(T43 *C,int a1,int a2);
  183. char rT3to_upper(T3 C);
  184. int rT3is_digit(T3 C);
  185. int rT3is_letter(T3 C);
  186. int rT3is_separator(T3 C);
  187. char rT3to_lower(T3 C);
  188. extern int argument_count;
  189. extern T0 **argument;
  190. #include <string.h>
  191. char *s2e(Tstring *s);
  192. Tstring *e2s(char *e);
  193. #include <stdarg.h>
  194. T0 *ma(int aid,int eid,int argc,...);
  195.  
  196. extern Tstring *ms1;
  197. extern Tstring *ms5;
  198. extern Tstring *ms14;
  199. extern Tstring *ms17;
  200. extern Tstring *ms18;
  201. extern Tstring *ms20;
  202. extern Tstring *ms21;
  203. extern Tstring *ms22;
  204. extern Tstring *ms24;
  205. extern Tstring *ms25;
  206. extern Tstring *ms26;
  207. extern Tstring *ms28;
  208. extern Tstring *ms29;
  209. extern Tstring *ms30;
  210. extern Tstring *ms31;
  211. extern Tstring *ms35;
  212. extern Tstring *ms36;
  213. extern Tstring *ms39;
  214. extern Tstring *ms40;
  215. extern Tstring *ms41;
  216. extern Tstring *ms43;
  217. extern Tstring *ms44;
  218. extern Tstring *ms45;
  219. extern Tstring *ms46;
  220. extern Tstring *ms47;
  221. extern Tstring *ms48;
  222. extern Tstring *ms51;
  223. extern Tstring *ms52;
  224. extern Tstring *ms53;
  225. extern Tstring *ms54;
  226. extern Tstring *ms55;
  227. extern Tstring *ms56;
  228. extern Tstring *ms57;
  229. extern Tstring *ms58;
  230. extern Tstring *ms59;
  231. extern Tstring *ms60;
  232. extern Tstring *ms61;
  233. void rsp(void);
  234. void sigrsp(int sig);
  235. void  XrT28copy(void *C,T0* a1);
  236. extern size_t s[];
  237. extern Tstring * gt[];
  238. extern Tstring * g[];
  239. extern char * p[];
  240. void initialize(void);
  241.